521. Logic, Language, Information, and Computation
پدیدآورنده : / Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
522. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
523. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
موضوع : ب‍ره‍ان,منطق م‍وج‍ه‍ات,ب‍رن‍ام‍ه‌ن‍وی‍س‍ی م‍وازی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
524. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
525. Logic, language, information, and computation
پدیدآورنده : \ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : .Language and logic -- Congresses.,Symbolic and Algebraic Manipulation.,Mathematical Logic and Formal Languages,زبان و منطق -- کنگره ها,منطق ریاضی و زبانهای صوری
رده :
P
39
.
L644
2015
E-Book
,
526. Logos and pragma :
پدیدآورنده : edited by L.M. de Rijk and H.A.G. Braakhuis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nuchelmans, Gabriël.,Nuchelmans, Gabriël,Nuchelmans, Gabrie͏̈l, 1922-1996,Nuchelmans, Gabriël.,Nuchelmans, Gabriël.,Language and languages-- Philosophy.,Language and logic.,Proposition (Logic),Langage et langues-- Philosophie.,Logique.,Logos (Philosophie),Proposition (Logique),Aufsatzsammlung,Bibliografie,Language and languages-- Philosophy.,Language and logic.,Proposition (Logic),Sprachphilosophie
رده :
P106
.
L59
1987
527. Los RF-8 crusader de reconocimiento fotográfico sobre Cuba y Vietnam
پدیدآورنده : [texto original en inglés de Peter Mersky; traducción, Carlos G. Antoranz].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
528. Los argonautas del Pacífico occidental :
پدیدآورنده : Bronislaw Malinowski ; prólogo de James G. Frazer ; traducción de Antonio J. Desmonts.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Antropología cultural y social -- Nueva Guinea.,Nueva Guinea -- Vida social y costumbres.,Trobriand (Papúa Nueva Guinea) -- Vida social y costumbres.
529. Los argonautas del Pacífico occidental :
پدیدآورنده : Bronislaw Malinowski ; prólogo de James G. Frazer ; [traducción de Antonio J. Desmonts].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Antropología cultural y social -- Nueva Guinea.,Kultura- eta gizarte-antropologia -- Ginea Berria.,Oceanía -- Historia.
530. Los argonautas del Pacífico occidental :
پدیدآورنده : Bronislaw Malinowski ; prólogo de James G. Frazer ; traducción de Antonio J. Desmonts.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Antropología cultural y social -- Nueva Guinea.,Nueva Guinea -- Vida social y costumbres.,Trobriand (Papúa Nueva Guinea) -- Vida social y costumbres.
531. Los argonautas del Pacífico occidental :
پدیدآورنده : Bronislaw Malinowski ; prólogo de James G. Frazer ; [traducción de Antonio J. Desmonts].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Antropología cultural y social -- Nueva Guinea.,Kultura- eta gizarte-antropologia -- Ginea Berria.,Oceanía -- Historia.
رده :
GN671
.
N5
B766
1986
532. Los escándalos de Half Moon Street /
پدیدآورنده : Anne Perry ; traducción de Eduardo G. Murillo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Pitt, Charlotte (Fictitious character), Fiction.,Pitt, Thomas (Fictitious character), Fiction.,Police-- England, Fiction.,Police spouses-- England, Fiction.,Women detectives-- England, Fiction.,Mujeres detectives-- Inglaterra-- Novela.,Pitt, Charlotte (Fictitious character),Pitt, Charlotte (Personaje ficticio)-- Novela.,Pitt, Thomas (Fictitious character),Pitt, Thomas (Personaje ficticio)-- Novela.,Police spouses.,Police.,Policía-- Esposos-- Inglaterra-- Novela.,Women detectives.,London (England), Fiction.,England, London.,England.,Londres (Inglaterra), Novela., 0, 7, 7, 7
رده :
PR6066
.
E693
H3518
2001eb
533. Los filósofos presocráticos :
پدیدآورنده : G.S. Kirk, J.E. Raven y M. Schofield ; versión española de Jesús García Fernández.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy, Ancient.,Pre-Socratic philosophers.,Filosofia antigua.,Filosofos presocraticos.,Philosophy, Ancient.,Pre-Socratic philosophers.
رده :
B188
.
K57
1994
534. Louis I. Kahn :
پدیدآورنده : David B. Brownlee, David G. De Long ; introduction by Vincent Scully ; principal photography by Grant Mudford.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Kahn, Louis I.,1901-1974-- Criticism and interpretation.,Kahn, Louis I.,1901-1974,Architecture-- United States-- History-- 20th century.,Architecture.,United States., 7
رده :
NA737
.
K32
B76
1997
535. Louis I. Kahn
پدیدآورنده : David B. Brownlee, David G. De Long ; introduction by Vincent Scully ; new photography by Grant Mudford,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Kahn, Louis I.,- 1901-1974- Criticism and interpretation,Architecture- United States- 20th century
رده :
NA
.
K32
,
B76
737
1991
536. Louis I. Kahn
پدیدآورنده : / louis l. kahn , david g. de long.
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Kahn, Louis I., 1901-1974, Criticism and interpretation,Architecture, Technological innovations,Architecture, Modern, 20th century
رده :
NA737
.
K32K32
1997
537. Mahomet, 571-632
پدیدآورنده : Mohammed Essad Bey; Preface de M. E. F. Gautier; Traduction de Jacques Marty; Et du commandant G. Lepage
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Mohammad, Prophet,d.632
538. Mahomet, 571-632 : moghofat
پدیدآورنده : Pref. de M. E. F. Gautli Tr. de Jacques Marty . . .et G. Lepage
کتابخانه: کتابخانه موسسه باستان شناسی دانشگاه تهران (طهران)
موضوع : Mohamad the prophet
رده :
BP
75
.
E8
M2
539. Maitre Cornelius
پدیدآورنده : Illustrations de G. Staal d'apres les gravures des premieres editions; Preface et postface par Albert Arrault
کتابخانه: کتابخانه موزه مقدم دانشگاه تهران (طهران)
موضوع : French fiction --Translations into English
رده :
PQ
1278
.
B356
M35
540. Maitres de la peinture universelle: Dans les nusees de Roumanie
پدیدآورنده : preface de G. Opresco
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Painting - Romania - Exhibitions,Musees de Roumanie cataloge
رده :
ND
،
927
.
5
،.
M35
